The Logic of Inheritance in Frame Systems

A general approach to linguistic approximation and its application in frame of fuzzy logic deduction

‎This paper deals with one problem that needs to be addressed in the emerging field known under the name computing with perceptions‎. ‎It is the problem of describing‎, ‎approximately‎, ‎a given fuzzy set in natural‎ ‎language‎. ‎This problem has lately been referred to as the problem of retranslation‎. ‎An approaches to ‎dealing with the retranslation problem is discussed in the paper‎, ‎that ...

Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases

F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics for inheritance suffers from a number of anomalies when inheritance and deduction closely interact. This work rectifies this problem and develops a natural model-theoretic semantics for inheritance in frame-based knowledge bases,...

Why Even the Logic of Re-Defined Choice May Still Contradict the Logic of Care in Public Health Systems?

Inheritance in Rule-Based Frame Systems: Semantics and Inference

Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely seen as a basis to achieve this integration. In this paper we extend the original F-logic formalism with an array of salient features that are essential for representing and reasoning with commonsense knowledge. In pa...

On X ̃-frames and conjugate systems in Banach spaces

The generalization of p-frame in Banach spaces is considered in this paper. The concepts of an $tilde{X}$-frame and a system conjugate to $tilde{X}$-frame were introduced. Analogues of the results on the existence of conjugate system were obtained. The stability of $tilde{X}$-frame having a conjugate system is studied.